Modeling with Graph Transformations
نویسندگان
چکیده
In this paper we give a general overview of graph grammars and graph transformation as important modeling techniques for several areas in computer science. In particular we present the main ideas of the algebraic approach, which is the basis for a categorical theory of rule-based transformations of high-level structures. 1 General Overview of Graph Transformation The research area of graph grammars or graph transformation is a discipline of computer science which dates back to the early seventies. Methods, techniques, and results from the area of graph transformations have already been studied and applied in many fields of computer science such as formal language theory, pattern recognition and generation, compiler construction, software engineering, concurrent and distributed systems modeling, database design and theory, logical and functional programming, artificial intelligence, visual modeling, etc. The wide applicability is due to the fact that graphs are a very natural way of explaining complex situations on an intuitive level. Hence, they are used in computer science almost everywhere, e.g. as data and control flow diagrams, entity relationship and UML diagrams, Petri nets, visualization of software and hardware architectures, evolution diagrams of nondeterministic processes, SADT diagrams, and many more. Like the token game for Petri nets, a graph transformation brings dynamic to all these descriptions, since it can describe the evolution of graphical structures. Therefore, graph transformations become attractive as a modeling and programming paradigm for complex-structured software and graphical interfaces. In particular, graph rewriting is promising as a comprehensive framework in which the transformation of all these very different structures can be modeled and studied in a uniform way. Before we go into more detail let us discuss the basic question What is Graph Transformation? In fact, graph transformation has at least three different roots -from Chomsky grammars on strings to graph grammars -from term rewriting to graph rewriting -from textual description to visual modeling.
منابع مشابه
Formal Semantics of Consistent EMF Model Transformations by Algebraic Graph Transformation
Model transformation is one of the key activities in model-driven software development. An increasingly popular technology to define modeling languages is provided by the Eclipse Modeling Framework (EMF). Several EMF model transformation approaches have been developed, focusing on different transformation aspects. To validate model transformations wrt. functional behavior and correctness, a for...
متن کاملCo-transformation of Graphs and Type Graphs with Application to Model Co-evolution
Meta-modeling has become the key technology to define do– main-specific modeling languages in model-driven engineering. Since do– main-specific modeling languages often change quite frequently, concepts are needed for the coordinated evolution of their meta-models as well as of their models, and possibly other related artifacts. In this paper, we present a new approach to the co-transformation ...
متن کاملPrecise Semantics of EMF Model Transformations by Graph Transformation
Model transformation is one of the key activities in model-driven software development. An increasingly popular technology to define modeling languages is provided by the Eclipse Modeling Framework (EMF). Several EMF model transformation approaches have been developed, focusing on different transformation aspects. To validate model transformations wrt. functional behavior and correctness, a for...
متن کاملRewriting Logic Semantics and Verification of Model Transformations
Model transformations are used in model-driven development for mechanizing the interoperability and integration among modeling languages. Due to the graph-theoretic nature of models, the theory of graph transformation systems and its technological support provide a convenient environment for formalizing and verifying model transformations, which can then be used for defining the semantics of mo...
متن کاملExtended Model Relations with Graphical Consistency Conditions
Consistency of models and model transformations are strongly interrelated topics. It is thus desirable to have a single notation to express model properties concerning both aspects. When using meta modeling techniques, graph transformations are a natural candidate to express model transformations. This paper explores the use of graph transformations for denoting consistency conditions between m...
متن کاملState Diagrams in Uml: a Formal Semantics Using Graph Transformations or Diagrams Are Nice, but Graphs Are worth Their Price
We show how to transform UML (Uniied Modeling Language) state diagrams into graphs by making explicit the intended semantics of the diagram. The process of state expansion in nested state diagrams is explained by graph transformations in three steps: (1) adding boundary nodes introducing a precise interface for the state to be expanded, (2) expanding the state, and (3) removing the boundary nod...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005